Kleene, Rogers and Rice Theorems Revisited in C and in Bash
نویسندگان
چکیده
The recursion theorem in the weak form {e}(z) = x(e, z) (universal function not needed) and in Rogers form φφf(n)(z) = φn(z), and Rice theorem are proved a first time using programs in C, and a second time with scripts in Bash.
منابع مشابه
Some Fixed Point Theorems for Generalized Contractions in Metric Spaces with a Graph
Jachymski [ Proc. Amer. Math. Soc., 136 (2008), 1359-1373] gave modified version of a Banach fixed point theorem on a metric space endowed with a graph. In the present paper, (G, Φ)-graphic contractions have been de ned by using a comparison function and studied the existence of fixed points. Also, Hardy-Rogers G-contraction have been introduced and some fixed point theorems have been proved. S...
متن کاملOn Elementary Theories of Rogers Semilattices
Describing the elementary theories of Rogers semilattices is one of the main problems of the theory of numberings. For the classical case of computable families of computably enumerable sets, V.V. V’jugin showed in [1] the existence of infinitely many families with pairwise elementarily different Rogers semilattices. Nevertheless, the study of Rogers semilattices undertaken in recent years (see...
متن کاملExperiments with Implementations of Two Theoretical Constructions
This paper reports two experiments with implementations of constructions from theoretical computer science. The first one deals with Kleene’s and Rogers’ second recursion theorems and the second is an implementation of Cook’s linear time simulation of two way deterministic pushdown automata (2DPDAs). Both experiments involve the treatment of programs as data objects and their execution by means...
متن کاملFixed point theorems under c-distance in ordered cone metric space
Recently, Cho et al. [Y. J. Cho, R. Saadati, S. H. Wang, Common xed point theorems on generalized distance in ordered cone metric spaces, Comput. Math. Appl. 61 (2011) 1254-1260] dened the concept of the c-distance in a cone metric space and proved some xed point theorems on c-distance. In this paper, we prove some new xed point and common xed point theorems by using the distance in ordered con...
متن کاملFixed point theorems on generalized $c$-distance in ordered cone $b$-metric spaces
In this paper, we introduce a concept of a generalized $c$-distance in ordered cone $b$-metric spaces and, by using the concept, we prove some fixed point theorems in ordered cone $b$-metric spaces. Our results generalize the corresponding results obtained by Y. J. Cho, R. Saadati, Shenghua Wang (Y. J. Cho, R. Saadati, Shenghua Wang, Common fixed point heorems on generalized distance in ordere...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/0712.1279 شماره
صفحات -
تاریخ انتشار 2007